🔢 lambda calculus - abnv · Scour

AWS Lambda From Scratch

forgestream.idverse.com·1d·

Discuss: r/rust

Calculus Made Easy

calculusmadeeasy.org·4h

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·14h

📏Linear Scanning

abelianization of an additive category in nLab

ncatlab.org·2h

🔗Category Theory

Rigorous Theory of Coupled Resonators

link.aps.org·8h

🔍Lens Libraries

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·5h·

Discuss: Blogger

📐Mathematical Computing

Designing Boring Software with Functional Programming

agentultra.com·16h

🪞Homoiconicity

On Learning Elixir

denvaar.dev·16h

🚂Error Propagation

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·11h·

Discuss: Hacker News

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

λLambda Calculus

value noise derivatives - 2008 - Inigo Quilez :: computer graphics, maths, shaders, fractals, demoscene

iquilezles.org·15h

🔢Algebraic Datatypes

Google Releases FunctionGemma Model

i-programmer.info·2h

💬Smalltalk VMs

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·5h

🔧Scheme Macros

dry-rb.org·19h

📦Closure Conversion

Stop Overusing Interfaces (2017)

blog.hovland.xyz·4h·

Discuss: Hacker News

🌉Cross-Platform FFI

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·1h·

Discuss: Hacker News

🧩Constraint Solvers

Topological order and fractons from gauging exponential symmetries

link.aps.org·11h

λLambda Calculus

Loading more...